Nuprl Lemma : iff_wf 13,42

AB:. (A  B  
latex


Upcore 2, core 2
DefinitionsP  Q, P  Q, P & Q, P  Q, t  T, , x:AB(x)
Lemmasrev implies wf

origin